100
1 3 12 17 e
1 12 13 16 e
3 12 13 16 e
3 12 15 17 e
1 12 15 17 e
3 9 12 13 e
3 12 16 17 e
1 12 16 17 e
1 2 12 17 e
1 2 12 13 e
12 13 15 16 e
2 11 12 17 e
11 12 16 17 e
2 3 12 17 e
1 10 12 17 e
1 12 17 18 e
3 15 16 17 e
1 3 12 16 e
1 2 3 17 e
1 8 12 17 e
3 7 12 17 e
1 9 12 17 e
2 12 13 15 e
0 1 2 12 e
2 3 12 13 e
1 3 9 12 e
1 3 15 16 e
12 15 16 17 e
1 2 3 12 e
3 9 12 17 e
1 3 8 12 e
3 11 12 16 e
1 3 10 12 e
0 2 3 12 e
1 8 11 12 e
2 12 15 17 e
3 8 12 17 e
0 1 12 16 e
2 3 12 16 e
3 8 11 12 e
1 10 11 12 e
3 4 12 13 e
8 11 12 17 e
1 3 8 17 e
0 1 8 12 e
0 3 8 12 e
3 9 11 12 e
1 8 12 13 e
2 12 13 17 e
0 3 12 16 e
1 3 12 15 e
2 12 13 16 e
3 10 11 12 e
3 12 13 19 e
1 8 12 15 e
1 3 10 17 e
2 3 11 12 e
12 15 17 18 e
3 10 12 16 e
1 10 12 16 e
2 11 12 16 e
3 12 15 16 e
1 10 12 15 e
10 12 15 17 e
3 8 12 13 e
1 3 16 17 e
1 2 12 16 e
1 2 3 16 e
1 6 12 16 e
12 13 16 18 e
9 12 15 17 e
1 11 12 16 e
1 8 11 16 e
1 2 12 15 e
1 4 12 13 e
8 12 15 17 e
1 2 9 12 e
1 8 12 16 e
0 2 12 15 e
3 6 12 16 e
3 9 12 15 e
1 3 8 16 e
3 10 12 15 e
8 12 13 15 e
3 8 12 16 e
1 2 3 9 e
3 8 12 15 e
3 8 15 17 e
1 9 10 12 e
2 12 16 17 e
8 11 12 16 e
1 12 13 19 e
1 10 11 16 e
0 8 12 15 e
0 12 15 16 e
1 12 16 18 e
2 12 15 16 e
12 16 17 18 e
3 8 11 16 e
1 9 12 16 e
